ecl-ex(x)
== ecl_ind(x;
== ecl_ind(k,test.[];
== ecl_ind(a,b,A,B.merge(A; B);
== ecl_ind(a,b,A,B.merge(A; B);
== ecl_ind(a,b,A,B.merge(A; B);
== ecl_ind(a,A.A;
== ecl_ind(a,m,A.A;
== ecl_ind(a,m,A.if (m = 0) then A else s-insert(m; A) fi ;
== ecl_ind(a,l,A.A) 

latex

Definitions	s-insert(x; l), #$n, (i = j), if b then t else f fi , merge(as; bs), [], ecl ind
FDL editor aliases	ecl-ex